var editor = CodeMirror.fromTextArea(document.getElementById("txt_php"), {
  lineNumbers:true,
  matchBrackets:true,
  mode:"application/x-httpd-php",
  indentUnit:2,
  indentWithTabs:false,
  enterMode:"keep",
  tabMode:"shift"
});

if (<?php echo $this->code_saved; ?>) {
  window.open("<?php echo $this->code_url; ?>","_blank");
}
